#ifndef SYNC_COUNTER_IRQ_H
#define SYNC_COUNTER_IRQ_H
#include <linux/interrupt.h>


int setup_irq(
	unsigned int irq,
	irq_handler_t handler,
	unsigned long flags,
	const char *name,
	void *dev
);

int setup_threaded_irq(
	unsigned int irq,
	irq_handler_t handler,
	unsigned long flags,
	const char *name,
	void *dev
);



#endif
